Bleeding mice: a successful technique of cardiac puncture.