BEC-polaron gas in a boson-fermion mixture: A many-body extension of Lee-Low-Pines theory