tokens: These transcripts directed the synthesis of three proteins : the virus trans - activator protein ( EIAV Tat ) encoded by ORF S1 , a protein of unknown function encoded by ORF S2 , and the virus envelope glycoprotein .