Ginkgolic acids (