(8alpha,9beta,14beta,24E)-3-Oxodammara-12,24-dien-26-oic acid AIDS-193337 AIDS193337 Garciosaterpene C