Nato il 22 ottobre 1922 a Batavia, Dutch East Indies [now Jakarta, Indonesia], morto il 13 febbraio 1997.