5-Chloro-2-(imidazolyl-2-naphthylmethyl)thiophene AIDS-009491 AIDS009491 Imidazole der.