This year, when I downloaded a match in HD (I'm not used to take HD matches but sometimes I'm not satisfied with standard quality especially on clay, then I take the match in HD and convert it myself in SD), I use mediacoder for converting it in xvid/avi for a smaller size and keep a good quality (and to have a file which can be playable with old systems, it is not always possible with h264 codec), this software allows you to set your multiplexer and remuxer, maybe it can help you!
You can try my parameters maybe it will work for you :
I never had problem with this config.
You can change aspect ratio, size of the picture in "picture" but I suggest you to keep the original framerate.
mediacoder is able to convert any format! But you will often need to find the good settings for having no bug with the software and to get a good result, I always work on a sample of the original video before convert the whole file.