THE RELATION OF DOCUMENTED CORONARY ARTERY DISEASE TO LEVELS OF TOTAL CHOLESTEROL AND HIGH‐DENSITY LIPOPROTEIN CHOLESTEROL