Google a program called ripbot264 and play around with that. Hardsubs will be downsized in proportion to the video. Soft subs will be hardsubbed into your output file. You have no control over how it turns out. They look fine when I do them, but I've only converted 5XXp to 480p.