7-Dehydrocholesterol reductase