Identifying axion insulator by quantized magnetoelectric effect in antiferromagnetic MnBi2Te4 tunne