AIDS-141117 AIDS141117 Benzyl 2,2-dimethyl-1,3-dioxolane-4-carboximidoate NSC655463