BI-RG-587 is active against zidovudine-resistant human immunodeficiency virus type 1 and synergistic with zidovudine | Synapse