Black holes in the scalar-tensor formulation of 4D Einstein-Gauss-Bonnet gravity: Uniqueness of solutions, and a new candidate for dark matter | Synapse