2H-Tetrazole, 2-(3-iodo-2-propynyl)- AIDS-154235 AIDS154235