Borel maximal finitely periodic groups

Construct a countable, K-sigma, or Borel maximal finitely periodic subgroup of S-infinity.

Background

Maximal cofinitary groups have strong non-definability restrictions, motivating analogous existence questions for maximal finitely periodic groups.