[Isolation of a new sterol, portensterol, from carpophores of Tricholoma portentosum (Fr. Qu.), Rhodopaxillus nudus (Bull. ex Fr. Maire) and Clitocybe nebularis (Batsch. ex Fr.)].