Probably good to test just for peace of mind, but the chances from a single penetrative event like the one you described is less than 0.1%, and that is, of course, with a person who is HIV+. Factor in the odds that she was HIV+, and your chances of contracting HIV are extremely low.