Serum cholesterol and high density lipoprotein-cholesterol in coronary patients and healthy persons.