7-dehydrocholesterol reductase deficiency