Qual a opção terapêutica para gestantes com sífilis e alérgica a penicilina benzatina?