A 49-year-old man with HIV is preparing to start his first antiretroviral regimen. He has a history of type 2 diabetes and elevated serum low-density lipoprotein (LDL). His CD4 count is 287 cells/mm³, HIV RNA is 64,460 copies/mL, and baseline serum creatinine is 1.5 mg/dL (estimated glomerular filtration rate 45 mL/min). He informs you that his father, at 63 years of age, had a heart attack.