Minor and trace sterols from marine invertebrates 56. Novel coprostanols from the marine sponge petrosia ficiformis