Yes, these converters go way back, although the AGC used a buck converter not a forward converter. They became more practical in the 1970s as transistor technology improved. I wrote a history of power supplies in the IEEE Spectrum recently: https://spectrum.ieee.org/computing/hardware/a-half-century-...