Which king was excommunicated from the church for arguing with Pope Gregory VII?

King Henry IV of the Holy Roman Empire clashed with Pope Gregory VII over who had the authority to appoint church officials. Gregory excommunicated Henry in 1076. Therefore, the correct choice is King Henry IV.

AI-written and checked against the verified answer.