campesterol; 5-ergosten-3-ol