A 62-year-old man had an ST-elevation myocardial infarction 6 months ago and is on maximally tolerated atorvastatin 80 mg daily. His fasting LDL cholesterol is 2.2 mmol/L and non-HDL cholesterol is 2.9 mmol/L. According to CCS guidelines, which is the best next step in lipid management?