The TX-SR674 or AVR-2307 would seem to be the best bets, both are available for under $500, both trascoed all inputs to HDMI, and the TX-SR674 will do two zones, I’m not sure about the Denon on that one.
The Yamahas would be out of your price range (by $100). And I’m not sure if Pioneer, H/K or Marantz have any receivers that will trascoed to HDMI for under $500.