A non-affine real algebraic variety