Но (1) ВИЧ в принципе не так просто подхватить, как его малюют
(2) Использование кондома и последующая (в течение 2 часов, чем раньше, тем лучше) обработка йенга КЖ дополнительно снижает риски подцепить разнообразную заразу.

Если весь контакт был в презервативе и в целом гигиена соблюдалась - не думаю, что стоит переживать.

При этом (да простит меня Гарик) хлоргексидин предпочтительнее, ибо имеет клинически доказанную эффективность, а про эффективность мирамистина никто в мире, кроме рекламы по телеку, не в курсе.