Sterols of some algae