Failure of Normalization in Impredicative Type Theory With Proof-Irrelevant Propositional Equality