Compounds useful for treating HIV are disclosed having the general formula ##STR00001## wherein R.sup.1, R.sup.2, and B are as defined in the specification. Compositions containing the compounds and methods for using the compounds to inhibit HIV are also disclosed.