AIDS-144312 AIDS144312 Diethyl 2-cyclopropyl-2-oxoethylphosphonate NSC666531