1H-1,2,4-Triazole-1-ethanol, .alpha.-(2,4-difluorophenyl)-.alpha.-[(1R)-1-[[2-[(1E,3E)-4-[4-(2,2,3,3-tetrafluoropropoxy)phenyl]-1,3-butadienyl]-1,3-dioxan-5-yl]phosphino]ethyl]-, (a1R)- AIDS-113636 AIDS113636 R-102557