Insurance Proceeds Reduce Basis