A piperidine alkaloid from excoecharia agallocha