A sterol glycoside from marine green alga Codium iyengarii