Ginkgolic acids