FBN1 and Marfan syndrome: The mgΔloxPneo (Fbn1 mgΔlpn mice) mouse is a dominant-negative model for Marfan syndrome.