The sterols of Dynamena pumila