Automorphism-invariant Integral Forms in Griess Algebras.