Local Compactness of Negative-Order Pseudodifferential Operators