Text this: External Genital warts in HIV-infected patients with sexually transmitted infections in Ibadan, Nigeria