A 35-year-old man with known generalised epilepsy has a witnessed tonic–clonic seizure lasting 8 minutes at home. In the ambulance he continues to have generalised clonic movements. On arrival in the emergency department (15 minutes after onset) he is still seizing. Airway is patent with oxygen saturations 92% on high-flow oxygen. What is the most appropriate immediate pharmacological treatment?