I've tried TMPGEnc to convert my avi(DIVx) to vcd a couple of times, i guess its the best tool.....