A Conformally Invariant Classification Theorem in Four Dimensions