Minor and trace sterols in marine invertebrates. 15. Ficisterol (23-ethyl-24-methyl-27-norcholesta-5,25-dien-3.beta.-ol). A biosynthetically unprecedented sterol from the marine sponge Petrosia ficiformis