AIDS-132008 AIDS132008 NSC625143 Tetramethyl 2,7-dioxotricyclo[6.2.0.0~3,6~]decane-4,5,9,10-tetracarboxylate