infant as party to stipulation of settlement