Microbicidal compositions contain anti-virals such as tenofovir and related prodrugs, and a pharmaceutically acceptable carrier in a solution formulation having hypotonic osmolarity and suitable for use as an enema to prevent or inhibit HIV infection.