A 48-year-old man c/o intermittent chest tightness that worsens with exercise for 3 days. H/o chronic atrial fibrillation treated with a drug that prolongs the QT interval. During cardiac stress testing, an ECG shows progressive shortening of the QT interval as the heart rate increases. Which of the following drugs is this patient most likely taking?