I’m fine using an AC to mini USB adapter. I had an extra one from a dead smartphone so it was free.

Perhaps someone is using a 24 VAC to 5 VDC adapter and can make some recommendations. But if not just look up the power specs for the Raspberry Pi and buy a converter that looks like it will work.