A mouse model of heart failure exhibiting pulmonary edema and pleural effusion: Useful for testing new drugs | Synapse