( 4032 ) Carl E. Petre.