I believe if you extract the audio with mkvextract and then enter the 720p stream and the extracted audio into tsmuxer separately and then mux them together it should work.
All I know about the audio file is that I exported it from audacity as a lossless wav file. It is sampled at 44.1khz, has 16 bits per channel, and is 2 channel stereo.