Another good application is Amadeus. It can re-encode mp3s as smaller files (lower quality) as well as change about a zillion other formats into mp3 for you. Not as visually attractive as iTunes, but more feature rich for re-encoding.