Those numbers look similar to what I remember Star Galaxy being. I think they are now RPM International. Butler sold them.
They used to have cast small journal 4.21 cranks before everything went 4.25.
https://rpminternationalinc.com/cran...80-stroke.html