AIDS-017623 AIDS017623 Mesityl-propiolic acid