Infraclass Rhipidistia Cope 1887 (lobe-finned fish)