Nonlinear NMR and magnon BEC in antiferromagnetic materials with coupled electron and nuclear spin precession