2H-Tetrazole, 5-ethyl-2-(2,3,3-triiodo-2-propenyl)- AIDS-154257 AIDS154257