Not sure if this is what you were talking about, but...
QuickTime Player seems to do the trick for me. If the file itself was already in
HD then by using QuickTime Player->Save As-> will give you the options of saving it as HD 480, HD 720, HD 1080, amongst other options.