Last passage time above a level for Brownian motion with negative drift ($T=\sup \{t\ge 0:W_t-at>b\}$)

For $a,b>0$ and the convention $\sup \varnothing =0$,