24-Dehydrocholesterol reductase inhibitors