Discovery of cholesterol in some red algae.