Efficacy and Safety of Alirocumab as Add‐on Therapy in High–Cardiovascular‐Risk Patients With Hypercholesterolemia Not Adequately Controlled With Atorvastatin (20 or 40 mg) or Rosuvastatin (10 or 20 mg): Design and Rationale of the ODYSSEY OPTIONS Studies