Charge transport and magnetization profile at the interface between a correlated metal and an antiferromagnetic insulator