7-dehydrocholesterol reductase