Mangostanol, a prenyl xanthone from Garcinia mangostana