Don Juan, Tondichtung nach Nicolaus Lenau, op. 20