AIDS-135290 AIDS135290 Dimethyl 2,5-dioxooctahydro-1,4-pentalenedicarboxylate NSC634716