1: \begin{abstract}

2: We construct a projective variety with discrete, non-finitely generated automorphism group.  As an application, we show that there exists a complex projective variety with infinitely many non-isomorphic real forms.

3: \end{abstract}

4: