Sterols from the algae of the benthos