31142-23-1 AIDS-000173 AIDS000173 Trimethyl phosphonoformate