Recent Progress on Four-Dimensional Einstein Manifolds