7-Dehydrocholesterol[434-16-2]