A Diffusion Model to Shrink Proteins While Maintaining Their Function