The blue Xe4+ cation: experimental detection and theoretical characterization.