. "Cholestadienes" .