Or you use mkvmerge (from mkvtoolnix) and mux the new audio track in with a stretch factor of 23.976/25 and then sync it using delay times.

Also mkv is not the video file it is only a container. Most likely there is an x264 video stream inside, which is what the video is encoded with.