O Gene Chohd3 MGI:3513276 heritable phenotypic marker http://identifiers.org/mgd/MGI:3513276 dominant hypercholesterolemia 3