As duas formas que encontrei até agora são:
- para fazer downmix do stream de áudio com um utilitário externo (como o eac3to pelo menos no Windows), mas a qualidade nem sempre é boa o suficiente.
- use o VLC versão 2.1.3 ou superior. link [em alemão] alguém diz que o downmixing VLC se tornou melhor.
link mostra que não é possível reduzir automaticamente algo com qualidade perfeita - parece que um engenheiro de áudio que corrige o volume de cada canal é necessário em alguns casos como o seu.