Xanthone derivatives from the leaves of Garcinia oligantha.