Cholesterol values in patients with myocardial infarction and in a normal control group.