Phragmalin-type limonoids from the mangrove plant Xylocarpus granatum.