A 42-year-old man is admitted to a UK ITU with cerebral malaria (GCS 8, P. falciparum parasitaemia 14%). He is commenced on IV artesunate. On day 2, he develops a generalised tonic-clonic seizure lasting 3 minutes. What is the most appropriate anticonvulsant management?