Isolation and synthesis of 23-methyl-22-dehydrocholesterol -a marine sterol of biosynthetic significance