I don't want to use any other apps (like sox) - I want to do this in pure Python. Installing needed Python libs is fine.
If the WAV file is PCM-encoded then you can use wave
. Open the source and destination files, read samples, average the channels, and write them out.