Sterols of some algae.