Most of the interesting bits are in the nonobvious "Output" tab. (arrow)
Set res & duration to output (not inferred from the video on the sequence is!)
File format, FFMPEG video, container MP4, codec H.264. Audio codec AC3, not "none."
Then Render menu-"Render Animation"