Isolation ofΔ9(11)-sterols from the sea cucumber . Implications for holothurin biosynthesis