5-(3,5-Dichlorophenylthio)-4-isopropyl-1-(4-pyridylmethyl)-1H-imidazol-2-ylmethyl-1-naphthyl-iminodicaboxylate AIDS-092493 AIDS092493 Imidazole deriv.