A 62-year-old man with a history of coronary artery disease and prior myocardial infarction 2 years ago presents for routine follow-up. He has no angina and is on aspirin, high-intensity statin, ACE inhibitor, and beta-blocker. LDL cholesterol is 85 mg per dL. What is the next best step in lipid management?