Help with audio encoding

[tooonami]

Hi there, sorry if this is in the wrong section.

Im new to Ubuntu (and Linux) and have a problem, in windows I had some movies in the .avi container that was set at a frame rate of 23.976.

Now what i used to do was de-multiplex the audio re-encode the audio while time stretching it and then remux it back to the video at 25.000fps.

Now the only programme i can find that will time stretch the audio for me in Ubuntu is AviDemux but the problem their is that when it is done the audio sounds terrible, very static, and for the life of me i cant find an alternative.

So if anyone can find an alternative for me please I would be most grateful and if it is difficult set of commands a step by step how to would me most appreciated

I have also tried Audacity and changed the tempo by 4.1% but it goes out of sync when re-muxed back with the video at 25.000fps.

[disturbed1]

You can use sox
First result from google gives me this
sox in.wav -r42294 -swc2 -t raw - | sox -swc2 -r 44100 -t raw - out.wav
or for 48K audio
sox in.wav -r46034 -swc2 -t raw - | sox -swc2 -r 48000 -t raw - out.wav