A 55 year old man who smokes 20 cigarettes per day and has no contraindications is motivated to quit. He has previously tried abrupt cessation without support and relapsed. Which of the following pharmacotherapies is recommended as a first line option in combination with behavioural support?