I made a direct payment to the IRS for anticipated taxes based on selling ISOs. Do I enter this as a "withholding not already entered on a w2 or 1099" section?