Ok, after trying two other mkv to mp4 converters (Freemaker and EaseUS, which both worked fine, but tag the video with their logo), I went back into VLC and found one setting that needed to be changed. Before converting, in the convert pop-up window, one has to click the wrench icon, and under Audio...