Arief Budiman — Indonesian activist (1941–2020)