Pacientes HIV positivo devem receber profilaxia antibiótica antes de realizar exodontias?