Piptaderol from Piptadenia africana.