AIDS-008748 AIDS008748 BMS-232632 & Thymidine, 2',3'-didehydro-, 3'-deoxy- BMS-232632 & d4T