Theoretically there should be no mysteries in robots.txt... THEORETICALLY... but I've found that if you want results, you ask for or define the results desired.
In my robots.txt I have the (less than a half-dozen) bots allowed listed first and a deny to all others last. Has worked for the last 8 years. Above (per your specification) you have a denial first and all others allowed last. Please, most seriously, let us know how this works!