Extension of Compact Operators