Pedonin, a spiro tetranortriterpenoid insect antifeedant from Harrisonia abyssinica