Two new polyhydroxylated sterols from Ruppia maritima