No te hagas demasiado lío, usa Xvid4PSP, es mucho más fiable que el Total Video Converter y soporta muchos más formatos tanto de entrada como de salida.
Tiene plantillas predefinidas para multitud de formatos y dispositivos para que no tengas que romperte la cabeza buscando una configuración o, si prefieres, también puedes modificarlos y crear tus propios presets con la configuración que más te acomode.
En tu caso basta con elegir la opción AVI, Xvid HQ Ultra o Extreme y el sonido generalmente es MP3 con el bitrate que prefieras.
El tiempo de conversión no es muy largo y la calidad siempre es satisfactoria usando las plantillas predefinidas.