A 57-year-old obese woman had low-density lipoprotein (LDL) cholesterol of 350 mg/dL (normal < 130 mg/dL) despite 3 months of therapy with lovastatin. The physician decided to add to the patient’s regimen a drug that acts by increasing the elimination of bile acids. Which of the following drugs was most likely prescribed?