这王猛是后来当上国家体委主任的那个王猛吗？