A search for B+ -> tau+ nu recoiling against B- -> D0 l- nu X