AIDS-020249 AIDS020249 o-(4,5-Dimethyl-2-imidazolyl)phenol