1H-Tetrazole, 5-(phenylmethyl)-1-(2,3,3-triiodo-2-propenyl)- AIDS-154253 AIDS154253