I've used format factory, but found it as unsuitable for some reasons. I vote for Any Video Converter.