1H-Imidazole, 1-[[(2R,4S)-2-(2,4-dichlorophenyl)-2-(1H-imidazol-1-yl)-1,3-dioxolan-4-yl]methyl]- AIDS-210157 AIDS210157