陈毅是首任上海市长，他当过上海市委书记吗？