2H-Tetrazole, 5-(2-chlorophenyl)-2-(3-iodo-2-propynyl)- AIDS-154273 AIDS154273