2-(Imidazolylnaphthylmethyl)thiophene AIDS-009488 AIDS009488 Imidazole der.