The quest for the Brazilian synchrocyclotron