While I haven't converted to .AMV, I've had a lot of success with
Mediacoder:
http://mediacoder.sourceforge.net
This program seems to convert anything to anything. It is a bit daunting as there are a ton of settings that you can choose from. I've found their forum to be helpful for using this tool.