A 52-year-old man who smokes 20 cigarettes per day wants help to quit. He has tried nicotine patches alone in the past without success and has no history of depression or cardiovascular disease. According to Australian smoking cessation guidelines, which of the following is the most effective single pharmacological option to recommend in combination with behavioural support?