This invention relates to methods of treating an HIV infection with novel heterocyclic compounds of formula I wherein R
1
—R
4
, X
1
and X
2
are as defined in the summary and pharmaceutically acceptable salts, and methods to inhibit or modulate Human Immunodeficiency Virus (HIV) reverse transcriptase with compounds of formula I.