5-(3-Carboxyethyl)-3-cyclopropyl-tetrahydro-2H-1,3,5-thiadiazine-2-thione AIDS-185757 AIDS185757