A 35-year-old woman with known epilepsy presents in status epilepticus. She has had a generalised tonic–clonic seizure lasting 7 minutes and continues to convulse. Buccal midazolam has already been given in the community without effect. In the emergency department she is still seizing at 10 minutes. What is the next most appropriate medication?