AIDS-009486 AIDS009486 Imidazole der. [(4-Methylphenyl)-2-naphthylmethyl]imidazole