3a,6a-Dimethyl-2,5-dioxooctahydro-1,3,4,6-pentalenetetracarboxylic acid AIDS-135282 AIDS135282 NSC634707