AIDS-143169 AIDS143169 Diethyl 2-cyclohexyl-1,1-difluoroethylphosphonate NSC663420