DHCR7 and Smith-Lemli-Opitz syndrome: Some of these oxysterols have been identified in brains from a Dhcr7-knockout mouse model of SLOS [14,15], one of which (3β,5α-dihydroxycholest-7-en-6-one (DHCEO)) has been proposed as a biomarker for the disease [14].