Pharmaceutical compositions comprising compounds disclosed herein, processes for preparing the compounds disclosed herein, intermediates useful for preparing the compounds disclosed herein, and therapeutic methods for the treatment of an HIV infection using the compounds disclosed herein are also provided. Present. Claim 1: A compound of the formula (1) wherein: R⁴ is selected from aryl, heterocycle and heteroaryl, wherein any aryl, heterocycle and heteroaryl of R⁴ is optionally substituted with one or more groups each independently selected, halo, C₁₋₆ alkyl,C₂₋₆ alkenyl,C₁₋₆ haloalkyl,C₃₋₇ cycloalkyl,-C₁₋₆ alkyl-C₃₋₇ cycloalkyl,-OH, -O-C₁₋₆ alkyl,-SH, -S-C₁₋₆ alkyl,NH.8322;-NH-C₁₋₆ alkyl and -N (C₁₋₆ alkyl) ₂,wherein C₁₋₆ alkyl is optionally substituted with hydroxy, -O-C₁₋₆ alkyl,Ciano u oxo; a is a phenyl, monocyclic or monocyclic heterocycle, where the heterocycle of any phenyl, monocyclic or monocyclic a can be replaced by one or more z17491 z17491 groups; B is arilo, heterocycle or heterocycle, any of which arilo, b. One or more z174955 groups may be selected to replace heterosexual or heterosexual;O a and B form a double ring, a double ring or a special-shaped double ring arilo, in which the double ring, a double ring or a special-shaped double ring arilo can be replaced by one or more z174955 groups;each group Z¹ᵃ is independently selected from halo, C₁₋₃ alkyl,C₂₋₃ alkenyl,1. C83228331 asphalt;Halogenated tar c83218323;carbociclo C₃₋₇,heterocycle, -O-C₁₋₃ alkyl,-O-Cque alkenyl,-O-C₂₋₃ alkynyl,-No. 7580; - No. 74966;-7491; (c) r74919;-C (O) OR y -C (O) NR Rwherein any C₃₋₇ carbocycle and Z¹ᵃ heterocycle is optionally substituted with one or more halogen or C₁₋₆ alkyl;each group Z¹ᵇ is independently selected from halo, CN, C₁₋₆ alkyl,C₂₋₆ alkenyl,1. C 83228331 asphalt;C₁₋₆ haloalkyl,carbociclo C₃₋₇,heteroaryl, heterocycle, C₁₋₆ arylalkyl,-OH, -O-C₁₋₆ alkyl,-O-Cque alkenyl,-O-C₂₋₆ alkynyl,-No. 7580; - No. 74966;-7491; (c) r74919;-C (O) OR y -C (O) NR Rwherein