A 7-year-old boy has a generalised tonic-clonic seizure lasting 6 minutes witnessed by his parents and is post-ictal but rousable on arrival to the emergency department. He has a history of epilepsy and is on regular sodium valproate. Which is the most appropriate first-line medication if the seizure recurs and lasts longer than 5 minutes?