Olympiad Number Theory · Superchallenge problem

A function $f:\mathbb R\to\mathbb R$ satisfies $f(x + y) = f(x) + f(y) + xy$ for all reals and $f(1) = 1$. Compute $f(4)$.