2H-Tetrazole, 5-(1,1-dimethylethyl)-2-(3-iodo-2-propynyl)- AIDS-154241 AIDS154241