The tool lets you convert among various video and audio formats.
Batch convert AVCHD files to popular output formats.
Commercial video converter.