Proximity-induced Majorana hinge modes in antiferromagnetic topological insulators