( 5172 ) Carl Oscar Philipson.