Lanostane triterpenoids, spiro-astraodoric acid, and astraodoric acids E and F, from the edible mushroom Astraeus odoratus. (September 2017)