Reducing the risk for stroke in patients with myocardial infarction: a Myocardial Ischemia Reduction with Aggressive Cholesterol Lowering (MIRACL) substudy.