Use the video editor & compositor built into Blender (blender.org - Home of the Blender project - Free and Open 3D Creation Software).
It's 100% free, will run on any platform, and is powerful enough for just about anything you care to do with it.
And regarding "editing 4k," just about no one...