I assume that opaque or near-opaque filters will be used, because otherwise, no IR film made now gives anything like the "classic" IR look. Using any current b/w IR film with a #25 or #29 filter won't look all that different than using the same filters on a regular panchromatic film, and certainly will not give the "classic" IR look.
Info on the necessity of focus shift using Rollei IR with an R72:
http://www.digitaltruth.com/products/product_tests/infrared_film_007.php
In short, if you want the sharpest image, you
should shift focus.
The same should hold true Efke IR with an R72, as it has about the same max sensitivity of 820 nM.
Here is the index page for all the IR film info on this Website (and info on Rollei ATP):
http://www.digitaltruth.com/articles.php.
IMO, these short reads on the current b/w IR films are the most useful to be found on the WWW. They are simple, straight forward, and practical. I would read them all to get some helpful starting information.
So, in summary, IMO:
1. There is little-to-no point in using any of the current IR films with anything but an opaque or near-opaque filter, if a "classic" IR look is desired.
2. Focus should be shifted when using IR films with these filters, if you want the plane of focus to be right where you focused in the viewfinder (though this should not be necessary if using them with shallower red filters such as #25 and #29).
P.S. Ilford SFX is not an IR film, so is not included in these comments. It will work with an R72, however, and this will give the most extreme effect with this film.