AIDS-150882 AIDS150882 Dimethyl 5-oxobicyclo[2.2.2]oct-2-ene-2,3-dicarboxylate NSC689206