Change a DivX with mp3 to AC3?

[ktd]

I looking for a quicker way. Today I do...
1. Rip out a wav from the movie.
2. Convert to AC3 with AC3machinne.
3. Insert the AC3.

I would like to skip the first test becuase of the time it takes...