An infinite-dimensional torsion-freeFP∞ group