Existence of Weak Solutions to a Cahn-Hilliard-Biot System | Synapse