Post-Newtonian Effects in Compact Binaries with a Dark Matter Spike: A Lagrangian Approach | Synapse