Ginkgolic acid