Thanks. You can use the free program MakeMKV to put the audio and video streams into one MKV container. I uploaded the result here: https://mega.nz/file/KQ1jzDxb#qjfAAmDUCawPgd2iNKLuDUkFc-JiX5603A3jGTxP23I