For my day job, I need to convert videos, frequently, from many random formats (usually large AVI, M4V, and what not) and convert them and compress them down into efficient files we can use around the internet for uploading. Formats I must produce are: