Thank you for your query at DoctorSpring.com
I understand your concern.
From the exposure you had, there is no way you can acquire HIV from her. It can only be done through unprotected intercourse. The finger touching vagina is not at all a risky exposure for HIV.
So please do not worry.
Feel free to discuss further,