Mutual information for symmetric rank-one matrix estimation: A proof of the replica formula