(dT)20-[ddTMP] AIDS-005034 AIDS005034 d(TTTTTTTTTTTTTTTTTTTT)-ddTMP