Polyoxygenated sterols from the Formosan soft coral Sinularia gibberosa.