1-Piperidineethanol, .alpha.-[(5S)-2,2-dimethyl-5-(2-phenyl-2H-1,2,3-triazol-4-yl)-1,3-dioxolan-4-yl]- AIDS-078246 AIDS078246