A downmixer of 5.1 channels to 2.0 channels in PureData