Mahomes has come down a bit this year, but is still a top 5 QB. Allen is looking over the edge of top 15. So now, no. Probably not a good trade. That being said, if Allen becomes a top 10-5 QB, which I expect, then yeah. Getting Tremaine Edmunds, Josh Allen, and Tre White for Pat Mahomes will be worth it.