Cuba ‘plane bomber’ was CIA agent