A Compression Algorithm for SAR Data after Range Focusing