Cost basis for worthless stock deduction when AMT already paid on capital gains at time of option exercise