A 52-year-old man smokes 20 cigarettes per day and has tried to quit several times. He is motivated to stop. According to RACGP smoking cessation guidelines, which of the following is the most effective first-line pharmacological aid combined with behavioural support?