When excess carbon (lV) oxide is passed into lime water, the turbidity produced initially disappears due to the formation of