Order Reduction Isomorphism for Semiclassical Sobolev Spaces