7-Oxo-desmosterol from Palmaria palmata