Kolanone, a novel polyisoprenylated benzophenone with antimicrobial properties from the fruit of Garcinia kola.