Protein Design with Guided Discrete Diffusion