1-Piperazineethanol, .alpha.-[2,2-dimethyl-5-(2-phenyl-2H-1,2,3-triazol-4-yl)-1,3-dioxolan-4-yl]-4-methyl- AIDS-078248 AIDS078248