Polyhydroxylated sterols from the soft coral sarcophyton pauciplicatum