Protein Counterfactuals via Diffusion-Guided Latent Optimization | ScienceToStartup | ScienceToStartup