avidemux Demultiplex an avi file into audio and video