Benign tertiary syphilis and HIV infection.