2-(Imidazolyl-2-naphthylmethyl)thiophene AIDS-009490 AIDS009490 Imidazole der.