ffmpeg -i whatever.mp4 -c copy -an whatever_nosound.mp4
Pretty sure ffmpeg works the same on Windows as on Linux so that should work. Should also be very fast since it's not re-encoding, just copying without the sound. '-an' is the switch that removes the sound.
ffmpeg -i whatever.mkv -an -vcodec libx264 -crf 30 -threads 0 -s 1280x720 whatever_smaller.mkv