A plastic surgeon is performing a minor procedure on the face of an 18-year-old woman. She has a seizure that is attributed to the local anesthetic agent. Convulsion following an overdose of local anesthesia is best treated by which of the following?