Would Legal Prostitution Reduce HIV/AIDS?