Smooth rational projective varieties with non-finitely generated discrete automorphism group and infinitely many real forms