What is the antiderivative of 1 - x^3 - 20x^4?