Axion mass in antiferromagnetic insulators