Wallenone, a C32 triterpenoid from the leaves of Gyrinops walla