(1 point) Find the antiderivative F of f(x)=4−3(1+x2)−1 that satisfies F(1)=−3.