I’m a pretty big specialized fan. I love my allez sprint. But at that price point, I don’t think there’s many differences between the three you listed.
I’d pick the one I like the looks of best. All three are built with great components these days. Some minor upgrades could be in your future with all of them, like better cables, better wheels, etc. but most people will never reach the full potential of either of the bikes you listed.