Did you want to keep the same pitch (timestretch), or just change the playback rate? The latter is easier, and less likely to produce any artefacts - also if the audio was originally sped up to sync with 25fps then slowing it down will restore the correct pitch.
I've found the SoundTouch program is an easy way to change audio speed, and I haven't noticed any choppiness.