stigmasterol Synonyms