A 30-year-old man is scheduled for a laparoscopic cholecystectomy for biliary colic. He repos a family history of prolonged paralysis during general anesthesia. Which of the following medications should be avoided during his procedure?