A 27-year-old man undergoes general anesthesia for a hernia repair. As the anesthesia begins, his jaw muscles tense and he becomes generally rigid. He becomes febrile, tachycardic, and tachypneic. Intravenous administration of which of the following agents may be lifesaving?