1H-Tetrazole, 5-(1,1-dimethylethyl)-1-(3-iodo-2-propynyl)- AIDS-154231 AIDS154231