5,11-dihydro-6H-dipyrido (3,2-b: 2'3'-e) (1,4) diazepines and their use for the prevention or treatment of HIV infection