You don't need a ds 5542. You need an affidavit drafted by yourself or an attorney, stating that you're eligible to marry in the Philippines. That's what you'll take to the Embassy for notarization. I assume that your fiancee has an attorney who helped her obtain her annulment, who can easily draft such an affidavit. If not, and if you're unable to draft such an affidavit, hire a lawyer to do it. As legal documents go, it's simple. Make an online appointment for the Embassy selecting "notary services - other". Then show up, get it notarized, and leave. Only takes one visit.