stigmasterol.