I don't know what your experience with video editing is, but if you want to buy a Vegas Movie Studio version, take the one with the best options and that is VMS 17 Platinum, that can surely export the type you want and more, upto 4K AVC and HEVC (H.264 and H.265) with max 60 fps.
If your hardware meets de specs for the program you can try the free trial for 30 days with a max. export of 2 minutes video.