CT reconstruction using diffusion posterior sampling conditioned on a nonlinear measurement model | Synapse