AIDS-154277 AIDS154277 Phenol, 4-[2-(3-iodo-2-propynyl)-2H-tetrazol-5-yl]-