This invention relates to methods of treating an HIV infection with novel heterocyclic compounds of formula I wherein R.sup.1--R.sup.4, X.sup.1 and X.sup.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. ##STR00001##