Real interpolation for mixed Lorentz spaces and Minkowski's inequality | Synapse