2H-Tetrazole, 2-(3-iodo-2-propynyl)-5-phenyl- AIDS-154265 AIDS154265