Tetracyclic triterpenoids from Trichilia prieuriana leaves