惊厥发作时可用下列哪些药物治疗