1H-Tetrazole, 1-(3-iodo-2-propynyl)- AIDS-154225 AIDS154225