About HIV infection?

this is for my friend.he is in a big trouble.he with a lady.he used condums but unfortunatly the condum break.sudenly he stop with her.this was his first experience.he dont kow that the lady have any disease.he worried about this