Lions-Peetre type compactness results for several Banach spaces