圧縮ファイルが壊れていた時の修復方法を教えてください。