It's substantially below realtime, IIRC, but sox can do it for general sound files with the standard windowing, time-scaling, and overlapping. If you only want mp3s, and are content with ratios of small integers (so it can be done by just repeating and dropping mp3 frames), mpg123 can do it for mp3s with -d and -h, and should have almost no penalty.