O fármaco atazanavir, disponível para tratamento do HIV, tem como alvo terapêutico