α-Dihydrofucosterol