A gauge theoretic approach to Einstein 4-manifolds