ergosterol)