A 11 year-old boy is brought to your clinic for the management of his ongoing attention deficit hyperactivity disorder. Because he has a history of seizures, his mother has been reluctant to start him on medications for ADHD and had him only on behavioral therapy. Now, she thinks it is time to start him on a medication specific to treat attention deficit hyperactivity disorder. Which of the following medications should be avoided in this boy?