a 55-year-old man with no history of atherosclerotic cardiovascular disease or diabetes mellitus presents to your office with questions about his cholesterol. he was previously taking atorvastatin, but stopped because his fasting low-density lipoprotein (ldl) cholesterol level dropped to 90 mg/dl and he was following the lifestyle modifications you previously recommended. based on the 2018 american college of cardiology/american heart association cholesterol management guidelines, which of the following is the most appropriate next step in his management?