mycosterol