24-dehydrocholesterol reductase