A 35-year-old man smokes 20 cigarettes daily and is motivated to quit. He has tried nicotine replacement previously without success and has no history of depression or cardiovascular disease. Which smoking cessation pharmacotherapy is an appropriate next step?