AIDS-125457 AIDS125457 Dimethyl 8-methyl-3-oxo-8-azabicyclo[3.2.1]octane-2,4-dicarboxylate NSC72858 NSC72914