AIDS-153406 AIDS153406 Dimethyl 3-methylene-1,2-cyclopropanedicarboxylate NSC700123