I think Proposition 78.1.4.11 of Lurie's Higher Algebra gives the equivalence between (negatively graded, or homologically positively graded) CDGA's and connective $E_\infty$ algebras and Proposition 78.1.4.20 does the same for simplicial algebras (search for "rational numbers").