Just as an addendum for gui preferring users, I developed a stream multiplexing capability for ffmpeg that makes it easy to add audio streams to a given video. The free opensource application is FFmpeg Batch Converter.