San francisco old name