4α-methyl-24S-ethyl-5α-cholestan-3β-ol and 4α-methyl-24S-ethyl-5α-cholest-8(14)-en-3β-ol, two new sterols from a cultured marine di