2H-Tetrazole, 5-(3-chlorophenyl)-2-(3-iodo-2-propynyl)- AIDS-154272 AIDS154272