Mircea Ionescu (1919-1985)