1H-Tetrazole, 1-(3-iodo-2-propynyl)-5-(phenylmethyl)- AIDS-154234 AIDS154234