Sterols in Porphyridium cruentum