Compact non-self-adjoint operators