Cosalane analogues with enhanced potencies as inhibitors of HIV-1 protease and integrase.