Personally, I'd say no, don't compress MP3s, like NM said, they're already compressed, and doing anything more to them to make it smaller makes it even worse quality. If you must have them smaller, use the original full-quality source e.g. CD or other lossless format image, and make them from there.