Correlation-energy density-functional formulas from correlating first-order density matrices.