A locally F-finite Noetherian domain that is not F-finite

Using an old example of Nagata, we construct a Noetherian ring of prime characteristic p, whose Frobenius morphism is locally finite, but not finite.