Constituents of the seeds of garcinia kola: two new antioxidants, garcinoic acid and garcinal