Tech titan's historic San Francisco mansion sells at a discount