Antiviral Synergy between Inhibitors of HIV Proteinase and Reverse Transcriptase