This is not the original reference, but the most general (i.e., applicable to the non-compact and pseudo-Riemannian cases) result I know is:
(The article is publicly available for free.)
Theorem 1* in there gives uniqueness in any case other than simply-connected, constant curvature spaces, and certain warped products with Ricci-flat spaces.
Check out the references in that paper, too.