AIDS-142123 AIDS142123 Dimethyl 1,9-dimethyl-3,10-dioxo-1,2,3,3a,4,5,6,7,7a,10-decahydrocyclopenta[d]azulene-2,8-dicarboxylate NSC659001