Post-processing for real-time quality enhancement of mpeg-coded video sequences