Lament (J. J. Johnson song) (song)