A primal-dual augmented Lagrangian