圧縮率最重視なら蛙・猿、互換性最重視ならflacかね。