[[7-Dehydrocholesterol reductase]]