Bit rate reduction and binaural masking release in digital coding of stereo sound