Used road bike options

I'm looking for a used road bike on FB Marketplace to get back into cycling and have found a few options that I'm trying to decide between. I'm 5'6", 30" inseam so looking for 52cm frame. Here's what I've found so far:

• Trek 2100 Composite 52cm, Shimano 105 5500 3×9 groupset, Alex Rims DA16 wheelset, $350
  • https://imgur.com/a/trek-2100-composite-fTShd9z
• Specialized Allez Elite 2007 Medium, $400
  • https://imgur.com/a/specialized-allez-elite-2007-HFc6vbL
• 2010 Giant TCR Advanced 2 52cm, full carbon including fork, Shimano 105 groupset $649
  • https://imgur.com/a/giant-tcr-advanced-2-lJnH9MI
• Specialized Allez Pro 52cm, Mavic Ksyrium Elite wheels, Shimano Ultegra components $595
  • https://imgur.com/a/specialized-allez-pro-AkH4I1h
• Specialized Allez Sport 53cm, 3×9 gear set $325
  • https://imgur.com/a/specialized-allez-sport-r7wtBFL

Of these bikes which is the best buy? The <= $400 bikes I can easily swing and the more expensive ones are a bit of a stretch but still doable if it'll be a significant improvement for the price.

Or are there other models I should look at as well? Pickings are unfortunately a little slim at the 52cm size in my area.