2H-Tetrazole, 2-(3-iodo-2-propynyl)-5-(phenylmethyl)- AIDS-154244 AIDS154244