Distributed computing is being used to cure HIV/AIDS