This can be done pretty easily by selecting SOURCE from the Resolution menu while choosing your preferred compression percentage in Media.io Video Compressor. You can also use the Automatic compressing method to maintain the best quality and size.