第一个被批准用于治疗HIV感染的药物为(   )。