Uniqueness of connected sum decompositions in dimension 4