Will the 4-125A/4-400A fit the same socket as the 4-1000 and 3-1000 tubes?
No, they are different sockets. The 4X1 socket is slightly larger and the 4X1 pins are fatter.
Why not look for a 4X1 tube and step it up a notch? You may be happy you got the wrong socket....
T