Mixing in cyclonic eddies in the Antarctic Circumpolar Current