2H-Tetrazole, 5-(4-fluorophenyl)-2-(2,3,3-triiodo-2-propenyl)- AIDS-154285 AIDS154285