2H-Tetrazole, 2-(3-iodo-2-propynyl)-5-(1-methylethyl)- AIDS-154238 AIDS154238