We give an example of a subgroup of a discrete cocompact group of isometries of real hyperbolic 4-space which is finitely generated but not finitely presented. The discrete cocompact group can be described as the group generated by reflections in the faces of a right regular 120-cell.
Trans. Amer. Math. Soc. 344 (1994) 391-405.