Isothiazole derivatives as novel HIV replication inhibitors.