Dihydrocholesterol

80-97-7