Iodine(VII) compounds