AIDS-135289 AIDS135289 NSC634715 Tetramethyl 3a,6a-dimethyl-2,5-dioxooctahydro-1,3,4,6-pentalenetetracarboxylate