The Coordination Tax: What AI Agents Can Learn From DeFi's Game Theory