4140 is really the standard steel for guns. I believe your 7012 is actually 7012–T7352 alloy for guns. It is a good alloy, I machine a few things from it now and then. It is a aluminum, iron and silicon alloy, not sure of the percentages any more.
Jerry