ergosterin, ergosterol