A 35-year-old man with known epilepsy is brought to the emergency department having had a generalised tonic–clonic seizure for the last 7 minutes. His airway is patent, oxygen saturation is 95% on high-flow oxygen and intravenous access has been obtained. He has not received any medication yet. What is the most appropriate first-line pharmacological treatment?