Using the new diffeomorphism invariants of Seiberg and Witten, a uniqueness theorem is proved for Einstein metrics on compact quotients of irreducible 4-dimensional symmetric spaces of non-compact type. The proof also yields a Riemannian version of the Miyaoka-Yau inequality.