1-Pyrrolidineethanol, .alpha.-[2,2-dimethyl-5-(2-phenyl-2H-1,2,3-triazol-4-yl)-1,3-dioxolan-4-yl]- AIDS-078245 AIDS078245