La Jolla home that inspired Tony Stark’s “Iron Man” mansion sells for discount