AC3 in avi might work but is not recommended. Convert the audio to constant bitrate mp3 for your avi.
I don't use your program however, so I don't know its controls. Personally, when starting with mp4, I'd use AviDemux to convert them to avi with mp3 sound. Free to use.