tetraiodide may refer to: