Is it safe to switch from stavudine to zidovudine after developing symptomatic hyperlactatemia?